- знак конгруэнции
- знак конґруе́нції
Русско-украинский политехнический словарь. 2013.
знак конгруэнции
Смотреть что такое "знак конгруэнции" в других словарях:
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… … Математическая энциклопедия
Арифметические знаки — символические обозначения, при посредстве которых указываются арифметические действия над данными числами. Знаком сложения служит +, например 3+5 равно 8; знаком вычитания , например 5 3 равно 2; для умножения существуют два равносильных знака: × … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ — раздел геометрии, в к ром изучаются геометрич. образы, в первую очередь кривые и поверхности, методами математич. анализа. Обычно в Д. г. изучаются свойства кривых и поверхностей в малом, т. е. свойства сколь угодно малых их кусков. Кроме того, в … Математическая энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
